A high-frequency radar oceanic current monitoring system for the Texas coast