Paving in Oklahoma City