Indonesian miner trapped for a week rescued