Learning Abstract World Model for Value-preserving Planning with Options