Convert JSON to records - The Ballerina programming language