Opinion: It's time for Texas to retire Derrick Johnson’s number