High-efficiency reflectarray antenna using a compact focusing meta-lens