Spain Formally Requests Banking Aid