HARDMath: A Benchmark Dataset for Challenging Problems in Applied Mathematics