Ultrasound-based sensors for motion correction of PET data