A few educational and not-so-educational CAPTCHAs in PHP