Quantifying upper eyelid laxity in symptomatic floppy eyelid syndrome by measurement of anterior eyelid distraction.