Texas releases $11 billion in stimulus cash committed to public educational facilities