A model-based approach to legal knowledge engineering