Which president used a combination of executive orders, proclamations and military orders to enforce the brown v. board of education ruling in little rock, arkansas?