On the Weight Enumerator and the Maximum Likelihood Performance of Linear Product Codes