What would a Spanish bailout look like?