Functional renormalization group at finite density and Bose condensation