Understanding functional miRNA–target interactions in vivo by site-specific genome engineering