Biosynthesis and Engineering of Lasso Peptides