Overview of DC's School System: DCPS, Public Charter Schools, Other Options