A survey of randomized algorithms for control synthesis and performance verification