WHU-Stereo: A Challenging Benchmark for Stereo Matching of High-Resolution Satellite Images