Rigorous numerical stability estimates for the existence of KAM tori in a forced pendulum