New cholesterol guidelines could boost number of US statin users by 12.8 billion: study