Redskins hire Jay Gruden as head coach