Efficient index maintenance using database mirroring