PHP speed tests `json_encode` vs `serialize`