Nick Bosa becomes highest-paid defensive player in NFL history