NFL grants five-year rights extension to DIRECTV for $3.5 billion