Efficient broadcasting using network coding