Mining the Secrets of Good Developer Experience through API Documentation