Alabama baseball’s season ends with College World Series loss to Texas