samsung ddr3 4gb 12800