On the cross-tropopause transport of water by tropical convective overshoots: a mesoscale modelling study constrained by in situ observations during the TRO-Pico field campaign in Brazil