A resolution (minimal model) of the PROP for bialgebras