Variational derivation of thermal slip coefficients on the basis of the Boltzmann equation for hard-sphere molecules and Cercignani–Lampis boundary conditions: Comparison with experimental results