Distributed Non-Convex Optimization with Sublinear Speedup under Intermittent Client Availability