Diversity among Texas high school football coaches continues to grow