The PROMETEIA Model for Managing Insurance Policies with Guarantees