The trouble with automated market makers