Goldmann applanation tonometry (GAT) measures intraocular pressure by determining the force required to flatten a corneal area of what specific diameter?