Note: This version is updated to correct an error in the version posted on Feb. 19, 2019.