Anti-bot Strategies Based on Human Interactive Proofs