Funeral of Christine Buckley takes place in Dublin