Antarctic atmospheric Richardson number from radiosonde measurements and AMPS