Propagation through trapped sets and semiclassical resolvent estimates