A Semantic Account of Rigorous Simulation