Αγία Μαρίνα: Ο βίος, τα βασανιστήρια και ο εορτασμός της