Circumscribing Datalog: Expressive Power and Complexity