A Proteomic Approach on Synapse Formation: Molecular Mechanisms of EphrinB Signaling in Dendritic Spine Formation