Transsynaptic signaling by activity-dependent cleavage of neuroligin-1