Predicting the Execution Time of a kernel on a specific GPU using PTX code