Towards Execution Time Estimation for Logic Programs via Static Analysis and Profiling