What is the number of contact pins the MicroDIMM DDR2 SDRAM modules typically used by laptops use?