Gas leak disrupts services at Forest County Courthouse; building reopened at 4 p.m. Tuesday