UCL spinout developing quantum algorithms raises £13 mi