Validation of closed-form expressions for the atmospheric altimetry correction in ground-based GNSS reflectometry based on rigorous ray-tracing