Shaping and spatiotemporal characterization of sub-10-fs pulses focused by a high-NA objective.