Design and performance of the receiver for the Mars Observer Laser Altimeter