St. Louis County police step up patrols at elementary schools in wake of shooting