How was the Portuguese bailout implemented