Speaking of Mint Juleps - does anyone know why it's called that? Mint, to be sure, but what is a "julep"? Is there any other kind of julep?