老北京涮羊肉典故由来