WCF web service generates JSON output