All-synchronized picosecond pulses and time-gated detection improve the spatial resolution of two-photon STED microscopy in brain tissue imaging