Wnt/β-catenin signaling is sufficient and necessary for synovial joint formation