Capacity Analysis for Railway Construction using SAT Modulo Discrete Event Simulation