State estimation for heavy oil hydroprocessing reactors using extended Kalman filters