DKK1, a negative regulator of Wnt signaling, is a target of the β-catenin/TCF pathway