Semiclassical approximations to quantum time correlation functions