Indonesian rescue workers race to find survivors after Java quake