Modelling of the RandstadRail signalling system for supporting capacity studies