Google releases Chrome OS 72 with optimizations for touchscreen devices