LHC to run at 4 TeV per beam in 2012