Theory and experiment for pair production in crystals