Semidefinite programming for model-based sensorless adaptive optics