Real-time web width monitoring