High-throughput type-specific detection of HPV using MassARRAY technology