Random generation for finitely ambiguous context-free languages