High-resolution X-ray spectroscopy of Procyon by Chandra and XMM-Newton