Random Modulo: a New Processor Cache Design for Safety-critical Systems