How Software Engineers Actually Use AI