Cognitive radio networks : from theory to practice (2013)