Efficient exploration of multiplex networks