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