Investigating Execution-Aware Language Models for Code Optimization