In a hospital setting, what is the proper medical name for the standard device used to measure a patient's blood pressure?