HDArray: Parallel Array Interface for Distributed Heterogeneous Devices