Samsung to double HBM4 output as high-end mix hits 80%