High resolution ultrasonic array imaging using positivity constraints on the scattering amplitudes