Design and implementation of a quantitative risk assessment software tool for Singapore road tunnels.