Learning Abstract World Models for Value-preserving Planning with Options