Texas lawmaker proposes optional gun safety course for high schools