“To live a meaningful life, be yourself and make yourself”: Haoyan Jen—a pioneer of China’s environmental microbiology