Federal judge rules 'Happy Birthday' song in public domain