Cowboys officially hire replacement for Mike Nolan