Lobster mini-season under way in Florida