SEC Commissioner Allison Herren Lee Formally Steps Down