High school football: Provo uses big first half to get past Mountain Ridge