serialization example using json4s