Europe throws Greece a 10.3-billion-euro lifeline