Top Texas health official who led response to coronavirus pandemic is retiring