Learning to rank social bots