Lean Engineering Design of Rail Interlocking Systems with RailML