Mathematical methods for insurance