A comparison of different trading protocols in an agent-based market