Proteomic single-synapse analysis with array tomography