Detection of polymorphisms of human DNA after polymerase chain reaction by miniaturized SDS-PAGE