LHC shuts down after helium leak