Top Florida Highway Patrol official resigns amid quota flap