Theory and discovery of electride materials