Formalising Anti-Discrimination Law in Automated Decision Systems