An efficient JSON parser for Arduino