Automatic design space exploration of approximate algorithms for big data applications