EU leaders resume 'grumpy' summit on budget, virus fund