Introducing the RIG Model - The Puzzle of Designing Guaranteed Data-Consistent Microservice Systems