NFL, referees officially end lockout