Arduino launches its first ARM-based board