Pro forma sessions are a justified check on presidential recess appointments