Non-redundant random generation from weighted context-free languages