NFL, NFLPA to study marijuana as potential pain-management tool for players