UK tech sector investment hits record £13.5 billion in