Pak Choi, chinesischer Senfkohl