Chance-constrained collision avoidance for MAVs in dynamic environments