Automated spectrum trading mechanisms: understanding the big picture