Device-to-Device Resource Scheduling by Distributed Interference Coordination