An Induced Demand Model for High Speed 1 in UK