A Desirability-Based Axiomatisation for Coherent Choice Functions