How important is manufacturing to the British economy?