Stav dette: Non-backtracking cycles: length spectrum theory and graph mining applications