On the effect of laser altimeter crossover observables on orbit determination with the JUICE mission as case study