Compressed sensing for ultrasound computed tomography