UK’s 5G auction raises £1.35bn from four bidders