Operational thermal remote sensing and lava flow monitoring at the Hawaiian Volcano Observatory