PROTACs: from rational design to characterization and biological functions