How to safely escape JSON inside HTML SCRIPT elements