9-foot alligator attacks, kills 75-pound dog in Florida