十三陵水库面积是多少?