JSON: что это за формат, где используется и как его открыть