The long-term benefits of self-crusting pinhole eliminators in the maintenance of public facilities: reducing maintenance frequency and improving service quality