Former college coach Mark Hudspeth hired as Gulf Shores HS head coach