Sharp Weyl estimates for tensor products of pseudodifferential operators