The minimum size of unextendible product bases in the bipartite case (and some multipartite cases)