The biosynthesis and discovery of lanthipeptides