Kentucky hires Mark Stoops as head football coach