Synthesis and biological evaluation of nojirimycin- and pyrrolidine-based trehalase inhibitors