Efficient and rigorous analysis of leaky modes in 2-D EBG guiding structures