The history, attractions, and heritage of Manjushri’s mountain, one of China’s “Four Great Sacred Peaks”