An error correction framework for sequences resulting from known state-transition models in Non-Intrusive Load Monitoring