Meaningful human control: actionable properties for AI system development