A Study on the Acceleration of Arrival Curve Construction and Regular Specification Mining using GPUs