Moral and formal model-based control strategy for autonomous vehicles at traffic-light-free intersections