NFL and players’ union to study potential use of marijuana for pain management