An event based JSON parser for PHP, suitable for large files