Ana de Armas’s grey leggings and microtop workout look is the athleisure moment to try now