Human thromboxane synthase: comparative modeling and docking evaluation with the competitive inhibitors Dazoxiben and Ozagrel