Note: This is a revised version that was updated in May 2019.