Title: Micromachined ultrasound-based proximity sensors