Measuring tidal deformations by laser altimetry. A performance model for the Ganymede Laser Altimeter. (November 2015)